Hardware and Computer Architecture
High-Level Specification for Digital System Design